The Graph of the Hypersimplex

The (k, d)-hypersimplex is a (d − 1)-dimensional polytope whose vertices are the (0, 1)vectors that sum to k. When k = 1, we get a simplex whose graph is the complete graph Kd. Here we show how many of the well known graph parameters and attributes of Kd extend to a more general case. In particular we obtain explicit formulas in terms of d and k for the number of vertices, vertex degree, number of edges and the diameter. We show that the graphs are vertex transitive, hamilton connected, obtain the clique number and show how the graphs can be decomposed into self-similar subgraphs. The paper concludes with a discussion of the edge expansion rate of the graph of a (k, d)-hypersimplex which we show is at least d/2, and how this graph can be used to generate a random subset of {1, 2, 3, ..., d} with k elements.